Instance Verification Kit (IVK)
spin lock @ [21201+37+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
dma_advance
[14804+11+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
done
[7326+4+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
ep0_setup
[35246+9+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
goku_dequeue
[20645+12+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
goku_ep_disable
[6204+15+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
goku_irq
[38417+8+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
goku_udc_stop
[34878+13+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
nuke
[20310+4+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
read_fifo
[9916+9+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
stop_activity
[34599+13+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
write_fifo
[8518+10+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]